منابع مشابه
Decidability and Invariant Classes for Degree Structures
We present a decision procedure for the V3-theory of 3[0,0'], the Turing degrees below 0'. The two main ingredients are a new extension of embeddings result and a strengthening of the initial segments results below 0' of [Lei]. First, given any finite subuppersemilattice U ot 3[0,0'] with top element 0' and an isomorphism type V of a poset extending U consistently with its structure as an usl s...
متن کاملA New Degree Bound for Invariant Rings
In this paper we give a new degree bound for polynomial invariant rings of finite groups and give some applications.
متن کاملThere Is No Degree Invariant Half-jump
We prove that there is no degree invariant solution to Post’s problem that always gives an intermediate degree. In fact, assuming definable determinacy, if W is any definable operator on degrees such that a <W (a) < a′ on a cone then W is low2 or high2 on a cone of degrees, i.e., there is a degree c such that W (a)′′ = a′′ for every a ≥ c or W (a)′′ = a′′′ for every a ≥ c. A striking phenomenon...
متن کاملPost's Problem and Degree Invariant Functions
A set A of nonnegative integers is recursively enumerable (r.e.) if there is a computable method to list its elements. The class of sets B which contain the same information as A under Turing computability ( T ) is the (Turing) degree of A. It is shown that there is a single construction procedure that gives a solution to the relativized version of Post's problem (an e such that for every X, X ...
متن کاملRegular Two-graphs from the Even Unimodular Lattice E8 + E8
This is a revised version of the rst part of 8]. Each two-graph is in one-to-one correspondence with a set of equiangular lines. This implies that a two-graph is represented by a system of vectors of equal odd norm with mutual inner products
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Mathematics Research Notices
سال: 2010
ISSN: 1073-7928,1687-0247
DOI: 10.1093/imrn/rnq018